Semantics for Parameter Passing in a Type-complete Persistent RPS
نویسندگان
چکیده
An orthogonally persistent programming language is a type-safe programming language that seamlessly includes a database for long-term object storage. A remote procedure call (RPC) mechanism permits calls of a procedure in another address space, and has proved to be a useful tool for building distributed systems. Taken together, an RPC mechanism and a persistent system are potentially suitable for the development of distributed persistent applications. However, current RPC mechanisms for persistent languages are either pass by reference | in which case they do not scale | or pass by copy | in which case they duplicate objects and destroy sharing relationships. In this paper we argue that to build very large distributed persistent applications a compromise between these two mechanisms for parameter passing is needed. The ultimate goal of our research is to build a scalable persistent RPC while still maintaining object sharing, type safety, type completeness and semantics that are readily understood by application programmers.
منابع مشابه
Semantics for Parameter Passing in a Type-complete Persistent RPC
Current RPC mechanisms for persistent languages are either pass by reference — in which case they do not scale — or pass by copy — in which case they duplicate objects and destroy sharing relationships. In this paper we argue that to build very large distributed persistent applications a compromise between these two mechanisms is needed. The ultimate goal of our research is to build a scalable ...
متن کاملDeXteR- An Extensible Framework for Declarative Parameter Passing in Distributed Object Systems
In modern distributed object systems, reference parameters are passed to a remote method based on their runtime type. We argue that such type-based parameter passing is limiting with respect to expressiveness, readability, and maintainability, and that parameter passing semantics should be decoupled from parameter types. We present declarative parameter passing, an approach that fully decouples...
متن کاملComplete Call-by-Value Calculi of Control Operators, I
We give new call-by-value calculi of control operators that are complete for the continuation-passing style semantics. Various anticipated computational properties are induced from the completeness. In the first part of a series of papers, we give the characterization of termination properties using the continuation-passing style semantics as well as the union-intersection type discipline.
متن کاملA Formally Specified Type System and Operational Semantics for Higher-Order Procedural Variables
We formally specified the type system and operational semantics of Loop with Ott and Isabelle/HOL proof assistant. Moreover, both the type system and the semantics of Loop have been tested using Isabelle/HOL program extraction facility for inductively defined relations. In particular, the program that computes the Ackermann function type checks and behaves as expected. The main difference (apar...
متن کاملComparison and Performance Study of Parameter-Passing Semantics and Implementations of Remote Method Invocation
Remote method invocation (RMI), which is an action of invoking a method on a remote object, is widely accepted abstraction for communicating and sharing objects among distributed sites. Ideally, the parameter-passing semantics of RMI should be as close as possible to that of local method invocation. However, in distributed environments, adherence to local parameter-passing model prevents contro...
متن کامل